含意 - 論理学で、任意の 命題p・qについて、pが真であれば常にqも真であるとき、pはqを含意するという
from
含意
論理学
で、
任意の
命題
p・qについて、pが
真
であれば
常に
qも真であるとき、pはqを
含意する
という。